es{-}snds(${\it es}$; $l$; $e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$concat(map($\lambda$$e$.es{-}sends(${\it es}$; $l$; $e$);es{-}before(${\it es}$; $e$)))